新しいプログラミング・パラダイム(完) 最大公約数 普遍代数，多項式イデアル，自動証明におけるユークリッドの互除法